Symposium on Principles of Programming Languages - PDFSEARCH.IO - Document Search Engine

Symposium on Principles of Programming Languages
Results: 54

#	Item
21	Daniel R. Licata Personal Information: E-mail: Add to Reading List Source URL: dlicata.web.wesleyan.edu Language: English Type theory International Conference on Functional Programming Programming language theory Homotopy type theory Twelf Dependent type Logical framework Functional programming SIGPLAN Programming language Symposium on Principles of Programming Languages Agda
22	Alan Schmitt 21 February 2012 CV Birth: 02 AprilNancy, France) Add to Reading List Source URL: alan.petitepomme.net Language: English - Date: 2014-01-18 03:32:54 Software engineering Computer science Computing Boomerang Functional programming Symposium on Principles of Programming Languages International Conference on Functional Programming Benjamin C. Pierce SIGPLAN Coq French Institute for Research in Computer Science and Automation Research Institute of Computer Science and Random Systems
23	Curriculum Vitae BENJAMIN F. GOLDBERG Courant Institute of Mathematical Sciences Department of Computer Science New York University Add to Reading List Source URL: cs.nyu.edu Language: English - Date: 2014-09-02 18:48:16 Computing Computer science Software engineering Functional programming International Conference on Functional Programming Programming Language Design and Implementation SIGPLAN Compiler Symposium on Principles of Programming Languages Association for Computing Machinery ACM Transactions on Programming Languages and Systems Functional languages
24	Microsoft Word - SIGOPS Annual Report 2007.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Computer science Dijkstra Prize Distributed computing International Conference on Architectural Support for Programming Languages and Operating Systems Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Mutual exclusion Keith Marzullo Lock Concurrent computing Concurrency control Computing
25	SIGOPS Annual Report 2010 Fiscal Year July 2009-June 2010 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2010-07-28 20:56:58 International Conference on Architectural Support for Programming Languages and Operating Systems ACM SIGACT Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing Dijkstra Prize Mark Weiser SIGMOBILE SIGMOD Computer science Computing Symposium on Operating Systems Principles
26	Microsoft Word - SIGOPSAnnualReport2013_SUBMISSION3.docx Add to Reading List Source URL: www.sigops.org Language: English - Date: 2013-08-20 16:37:55 ACM SIGACT International Conference on Architectural Support for Programming Languages and Operating Systems Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing SIGMOBILE SIGMOD Computer science Computing Symposium on Operating Systems Principles
27	SIGOPS Annual Report 2008 Fiscal Year July 2007-June 2008 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2008-10-02 23:52:14 Symposium on Operating Systems Principles ACM SIGACT Dijkstra Prize Software engineers International Conference on Architectural Support for Programming Languages and Operating Systems Symposium on Principles of Distributed Computing Conference on Embedded Networked Sensor Systems Edsger W. Dijkstra Computer science Computing Concurrent computing
28	SIGOPS Annual Report 2009 Fiscal Year July 2008-June 2009 Submitted by Doug Terry, SIGOPS Chair Overview SIGOPS continues to be a vibrant community of people with interests in “operating systems” in the Add to Reading List Source URL: www.sigops.org Language: English - Date: 2009-10-21 11:49:29 International Conference on Architectural Support for Programming Languages and Operating Systems ACM SIGACT Conference on Embedded Networked Sensor Systems Symposium on Principles of Distributed Computing Mendel Rosenblum Mark Weiser SIGMOD Operating Systems Design and Implementation Computer science Computing Symposium on Operating Systems Principles
29	Reprinted from Proceedings of the 2011 ACM Symposium on Principles of Programming Languages (POPL’11) Resourceable, Retargetable, Modular Instruction Selection Using a Machine-Independent, Type-Based Tiling of Low-Lev Add to Reading List Source URL: www.cs.tufts.edu Language: English - Date: 2012-10-31 16:31:37 Software engineering Instruction set architectures Instruction selection Code generation ALGOL 68 Intermediate language Hamming weight ARM architecture Programming language theory Computing Compiler construction
30	Manuel Hermenegildo Areas of Interest Energy-Aware Computing, Resource / non-functional property analysis, verification, and control; Global Program Analysis, Optimization, Verification, Debugging; Abstract Interpretatio Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2014-07-12 00:42:10 Programming paradigms Formal sciences Association for Computing Machinery Principles of Programming Languages Formal methods International Conference on Logic Programming Logic programming International Symposium on Logic-based Program Synthesis and Transformation Lecture Notes in Computer Science Computer science Computing Software engineering

UPDATE